home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ftp.cs.arizona.edu
/
ftp.cs.arizona.edu.tar
/
ftp.cs.arizona.edu
/
icon
/
newsgrp
/
group03a.txt
/
000027_icon-group-sender_Mon Mar 10 07:36:32 2003.msg
< prev
next >
Wrap
Internet Message Format
|
2003-12-22
|
2KB
Return-Path: <icon-group-sender>
Received: (from root@localhost)
by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id h2AEXwk09485
for icon-group-addresses; Mon, 10 Mar 2003 07:33:58 -0700 (MST)
Message-Id: <200303101433.h2AEXwk09485@baskerville.CS.Arizona.EDU>
X-Sender: kazimir@chem.pmf.hr
Date: Sat, 08 Mar 2003 18:05:10 +0100
To: icon-group@cs.arizona.edu
From: "Majorinc, Kazimir" <Kazimir@chem.pmf.hr>
Subject: Do you think Icon is good choice for me?
Errors-To: icon-group-errors@cs.arizona.edu
Status: RO
Hello.
I'm mathematician, working at the university in Croatia. I'm considering
replacing C++ with some other PL and tool for my automated theorem proving
project in next five years period. In that time I expect to write 20 000
lines of code or more, mostly operations on large lists, sets and generally
complicated dynamic structures.
I need simple and relatively high procedural language (less of OO elements
- better it is). Speed of compilation and execution, GUI, interactivity,
cooperation with other languages and OS, even portability are not an issue,
but stability, lack of bugs, and efficient memory menagement in crunching
big dynamic structures are. Good debugger is welcome, but not essential.
At this moment Icon and it's Windows version by Jeffery seems as best
choice for me, and I'm ready to start next week with that as my main tool.
Everything I've find on Internet suggest me that Griswold and his
collaborators made great job, and provided great tool and documentation to
the world for free.
However, I have no experience with Icon, neither I know someone who used it
personaly, so I cannot be sure is it 'mature' tool, or it is still more of
an experimental kind. I'd like to ask more experienced users: is it
reliable enough, without hidden limitations in memory or code size, and
unexpected bugs so I can be left with my problems and not with compiler
bugs in next relatively long period of life and work.
Or - shortly - would you, experienced Icon user, chose Icon or would you
rather prefer some more popular tool for such task, and why?
Thank you.
--------------
Kazimir Majorinc, Zagreb, Croatia